Tableau-based decision procedures for hybrid logic

机译：基于Tableau的混合逻辑决策程序

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Thomas Bolander; Torben; Bra Üner;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Tableau-based Decision Procedures for Hybrid Logic [J] . THOMAS BOLANDER, TORBEN BRAUENER Journal of logic and computation . 2006,第6期

机译：基于Tableau的混合逻辑决策程序
2. Dual tableau-based decision procedures for relational logics with restricted composition operator [J] . Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska Journal of applied non-classical logics . 2011,第2期

机译：具有约束组合运算符的关系逻辑的基于双表格的决策程序
3. Tableau-Based Decision Procedures for Logics of Strategic Ability in Multiagent Systems [J] . VALENTIN GORANKO, DMITRY SHKATOV ACM transactions on computational logic . 2010,第1期

机译：基于表格的多主体系统中战略能力逻辑的决策程序
4. Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time [C] . Valentin Goranko, Dmitry Shkatov International Conference on Autonomous Agents and Multiagent Systems . 2009

机译：基于Tableau的线性时间的完整联合多主体时间-流行逻辑的决策过程
5. A tableau-based workflow verification framework for Computation Tree Logic (CTL). [D] . Islam, Md Zahidul. 2012

机译：基于树的工作流验证框架，用于计算树逻辑（CTL）。
6. Developing a clinical decision support system based on the fuzzy logic and decision tree to predict colorectal cancer [O] . Raoof Nopour, Mostafa Shanbehzadeh, Hadi Kazemi-Arpanahi 2021

机译：基于模糊逻辑和决策树的临床决策支持系统预测结直肠癌
7. Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge [O] . Ajspur, Mai, Goranko, Valentin, Shkatov, Dmitry 2012

机译：基于Tableau的多智能体认知逻辑的决策过程与所有联盟运营商共同分享知识
8. Geo-Spatial Tactical Decision Aid Systems: Fuzzy Logic for Supporting Decision Making [R] . Grasso, R. , Giannecchini, S. 2006

机译：地理空间战术决策辅助系统：支持决策的模糊逻辑

Tableau-based decision procedures for hybrid logic

著录项

引文网络

相似文献

相关主题

期刊订阅